[MINI-OS] Extend alloc_unbound so that the remote domain isn't always dom0.
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:03:54 +0000 (14:03 +0100)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:03:54 +0000 (14:03 +0100)
commit194a6f6b1f79d6bb4c40ce2a4fdafd845be4f2ce
tree892fc21a6bbaf65f820c332ddfc72154c7ef0d17
parenta0f55d516b1eec2c53530338e6fab512586eea5f
[MINI-OS] Extend alloc_unbound so that the remote domain isn't always dom0.

Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
extras/mini-os/events.c
extras/mini-os/include/events.h